Buy Used and New Gerard Holzmann Books

NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings: 9058 (Lecture Notes in Computer Science)

by Klaus Havelund, Gerard Holzmann, Rajeev Joshi

ISBN 13: 9783319175232

Format: Paperback (472 pages)
Publisher: Springer
Published: 09 Apr 2015

Save for later